Trong toán học, một đồng nhất thức, (còn được gọi là Hằng đẳng thức) là một quan hệ đẳng thức A = B, sao cho A và B chứa một số biến và A và B tạo ra cùng một giá trị với nhau bất kể giá trị nào (thường là số) được thay thế cho các biến. Nói cách khác, A = B là một đồng nhất thức nếu A và B có cùng định nghĩa hàm số giống nhau. Điều này có nghĩa là một đồng nhất thức là một đẳng thức giữa các hàm được xác định khác nhau. Ví dụ, (a+b)2= a2 + 2ab + b2 và cos2(x) + sin2(x) = 1 là các đồng nhất thức. Đồng nhất thức đôi khi được biểu thị bằng ký hiệu thanh ba ≡ thay vì dấu bằng =.